Herbrand universum

См. также в других словарях:

• Herbrand-Universum — Mit Herbrand Universum bezeichnet man eine Menge in der Prädikatenlogik, die als Grundmenge zur Definition der Herbrand Struktur herangezogen wird. Beide Begriffe sind Teil des Herbrand Theorems, benannt nach Jacques Herbrand. Definition Sei F… …   Deutsch Wikipedia

• Herbrand — bezeichnet Herbrand (Waggonfabrik), eine ehemalige Waggonfabrik in Köln Den Familiennamen Herbrand tragen: Jacob Heerbrand (1521 1600), deutscher reformierter Theologe Jacques Herbrand (1908 1931), französischer Logiker Siehe auch: Herbrand… …   Deutsch Wikipedia

• Herbrand-Interpretation — Eine zu einer prädikatenlogischen Formel F passende Struktur heißt Herbrand Struktur, wenn folgende Eigenschaften erfüllt sind: Das Universum ist das aus F generierte Herbrand Universum, also . Die Interpretationen I sind Herbrand… …   Deutsch Wikipedia

• Herbrand-Struktur — Eine zu einer prädikatenlogischen Formel F passende Struktur heißt Herbrand Struktur, wenn folgende Eigenschaften erfüllt sind: Das Universum ist das aus F generierte Herbrand Universum, also . Die Interpretationen I sind Herbrand… …   Deutsch Wikipedia

• Herbrand-Theorie — Der nach Jacques Herbrand, einem französischen Logiker, benannte Satz von Herbrand (engl. Herbrand s theorem, was gelegentlich nicht ganz korrekt als Herbrand Theorie übersetzt wird) in der Prädikatenlogik lautet: Sei F eine geschlossene Formel… …   Deutsch Wikipedia

• Herbrand-Expansion — Die Herbrand Expansion stellt eine Menge von prädikatenlogischen Formeln dar, die aus einer gegebenen Formel F durch eine spezielle Art der Substitution abgeleitet werden können. Mit Hilfe dieser Formelmenge kann die Unerfüllbarkeit einer… …   Deutsch Wikipedia

• Jacques Herbrand — (* 12. Februar 1908 in Paris; † 27. Juli 1931 in La Bérarde) war ein französischer Logiker, Algebraiker und Zahlentheoretiker. Inhaltsverzeichnis …   Deutsch Wikipedia

• Satz von Herbrand — Der Satz von Herbrand ist ein Satz aus der Prädikatenlogik und wurde nach dem französischen Logiker Jacques Herbrand benannt. Er macht eine Aussage über die Erfüllbarkeit einer prädikatenlogischen Formel. Der Satz lautet: Sei F eine geschlossene… …   Deutsch Wikipedia

• Herbrandstruktur — Eine zu einer prädikatenlogischen Formel F passende Struktur heißt Herbrand Struktur, wenn folgende Eigenschaften erfüllt sind: Das Universum ist das aus F generierte Herbrand Universum, also . Die Interpretationen I sind Herbrand… …   Deutsch Wikipedia

• Skolem-Normalform — Skolemform ist ein Begriff der Prädikatenlogik und bezeichnet eine prädikatenlogische Formel, die sich in einer Normalform nach Albert Thoralf Skolem befindet. Für Formeln in Skolemform existiert ein berechenbarer Test auf Erfüllbarkeit. Dies ist …   Deutsch Wikipedia

• Skolemformel — Skolemform ist ein Begriff der Prädikatenlogik und bezeichnet eine prädikatenlogische Formel, die sich in einer Normalform nach Albert Thoralf Skolem befindet. Für Formeln in Skolemform existiert ein berechenbarer Test auf Erfüllbarkeit. Dies ist …   Deutsch Wikipedia